Reverse mathematics - PDFSEARCH.IO - Document Search Engine

Reverse mathematics
Results: 109

#	Item
11	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation
12	LINEAR EXTENSIONS OF PARTIAL ORDERS AND REVERSE MATHEMATICS EMANUELE FRITTAION AND ALBERTO MARCONE Abstract. We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω ∗ , ω + Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-07-05 17:59:22 Wellfoundedness Ordinal numbers Operator theory Differential forms Well-order Differential forms on a Riemann surface Sobolev spaces for planar domains
13	HIGHER ORDER REVERSE MATHEMATICS ULRICH KOHLENBACHy x1. Introdu tion. Reverse mathemati s as developed by H. Friedman, S. Simpson and others (see [17℄ for a omprehensive treatment) fo uses on the language of se ond or Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:17:10 Biuro Szyfrw Grill
14	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
15	Universit`a degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Fisica Ciclo XXVI Ph.D. Thesis Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-03-23 21:49:40 Order theory Proof theory Mathematical logic Metalogic Equivalence of categories Linear extension Reverse mathematics Theorem
16	Intro RAND & DNC WWKL & RWWKL Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:15 Mathematics Computability theory Theoretical computer science Theory of computation Reverse mathematics Computable function Graph coloring Randomness Rand RAND Corporation
17	DEGREES BOUNDING PRINCIPLES AND UNIVERSAL INSTANCES IN REVERSE MATHEMATICS LUDOVIC PATEY ABSTRACT. A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable soluti Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-07-04 03:53:43 Mathematics Mathematical analysis Theory of computation Computability theory Theoretical computer science Computation in the limit Computable function Differential forms on a Riemann surface Congruence lattice problem
18	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Logic Computability theory Mathematical logic Proof theory Mathematics Reverse mathematics Model theory
19	Research Statement Emanuele Frittaion 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-06-04 05:36:00 Mathematics Order theory Abstraction Structure Wellfoundedness Proof theory Computability theory Linear extension Reverse mathematics Well-quasi-ordering Antichain Countable set
20	Partial Orders and Immunity in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-04-14 09:51:48 Theoretical computer science Logic in computer science Mathematics Mathematical logic Combinatory logic Lambda calculus Unification Computability theory Differential forms on a Riemann surface Fredholm alternative

UPDATE